Second-Order Partial Differentiation of Real Ternary Functions
نویسنده
چکیده
For simplicity, we adopt the following rules: x, x0, y, y0, z, z0, r denote real numbers, u, u0 denote elements of R3, f , f1, f2 denote partial functions from R3 to R, R denotes a rest, and L denotes a linear function. Let f be a partial function from R3 to R and let u be an element of R3. We say that f is partial differentiable on 1st-1st coordinate in u if and only if the condition (Def. 1) is satisfied. (Def. 1) There exist real numbers x0, y0, z0 such that (i) u = 〈x0, y0, z0〉, and (ii) there exists a neighbourhood N of x0 such that N ⊆ dom SVF1(1,pdiff1(f, 1), u) and there exist L, R such that for every x such that x ∈ N holds (SVF1(1,pdiff1(f, 1), u))(x) − (SVF1(1, pdiff1(f, 1), u))(x0) = L(x− x0) +R(x− x0). We say that f is partial differentiable on 1st-2nd coordinate in u if and only if the condition (Def. 2) is satisfied.
منابع مشابه
Partial second-order subdifferentials of -prox-regular functions
Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2 functions. The class of prox-regular functions covers all convex functions, lower C2 functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...
متن کاملSolving high-order partial differential equations in unbounded domains by means of double exponential second kind Chebyshev approximation
In this paper, a collocation method for solving high-order linear partial differential equations (PDEs) with variable coefficients under more general form of conditions is presented. This method is based on the approximation of the truncated double exponential second kind Chebyshev (ESC) series. The definition of the partial derivative is presented and derived as new operational matrices of der...
متن کاملPartial Differentiation of Real Ternary Functions
For simplicity, we adopt the following convention: D is a set, x, x0, y, y0, z, z0, r, s, t are real numbers, p, a, u, u0 are elements of R3, f , f1, f2, f3, g are partial functions from R3 to R, R is a rest, and L is a linear function. We now state three propositions: (1) dom proj(1, 3) = R3 and rng proj(1, 3) = R and for all elements x, y, z of R holds (proj(1, 3))(〈x, y, z〉) = x. (2) dom pro...
متن کاملA characterization of triple semigroup of ternary functions and Demorgan triple semigroup of ternary functions
متن کامل
($phi,rho$)-Representation of $Gamma$-So-Rings
A $Gamma$-so-ring is a structure possessing a natural partial ordering, an infinitary partial addition and a ternary multiplication, subject to a set of axioms. The partial functions under disjoint-domain sums and functional composition is a $Gamma$-so-ring. In this paper we introduce the notions of subdirect product and $(phi,rho)$-product of $Gamma$-so-rings and study $(phi,rho)$-represen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 18 شماره
صفحات -
تاریخ انتشار 2010